Proper Explorations